#ifndef __DV300_GPIO_H__
#define __DV300_GPIO_H__

#include <stdint.h>


const char *const cputype = "T31";

#endif
